新思科技高效故障注错仿真工具 Z01X 助力功能安全验证

新思科技高效故障注错仿真工具 Z01X 助力功能安全验证

会议: SNUG China 2023 作者: Minna Xie (Sanechips), Huazhi Lv (Synopsys) 页数: 28

---

1. 功能安全背景

ISO 26262 道路车辆功能安全 标准要求汽车电子设计中计算安全指标： - SPFM (Single Point Fault Metric) - LFM (Latent Fault Metric) - PMHF (Probabilistic Metric for random Hardware Failures)

故障注入仿真是计算这些指标的关键方法。

2. Z01X 工具概述

Z01X 是 Synopsys 的高效故障仿真工具，专为功能安全验证设计： - 并发故障仿真引擎，比串行故障仿真快数个数量级 - 支持固定型故障和瞬态故障注入 - 与 VCS 和 Verdi 集成 - 支持 FMEDA 分析和安全指标计算

3. Z01X 工作流程

1. 建立故障模型（固定型 0/1、瞬态） 2. 定义故障注入点和时间 3. 运行故障仿真（可利用已有功能仿真 Testbench） 4. 分析故障效应（安全/非安全/检测） 5. 计算 ISO 26262 安全指标

4. Sanechips 应用案例

Z01X 在 Sanechips 汽车芯片设计中的应用： - 大规模故障注入（数百万故障） - 合理的仿真运行时间 - 准确的 SPFM/LFM 计算 - 与 FMEDA 分析工具的集成

5. 关键优势

- 高性能并发故障仿真 - 无缝集成到现有 VCS 验证环境 - 支持多种故障类型和注入策略 - 自动生成 ISO 26262 安全报告

6. 结论

Z01X 为功能安全验证提供高效可靠的故障注入解决方案，帮助汽车电子设计团队满足 ISO 26262 合规要求。

---

图片索引

共 101 张图片。PPT 型论文，部分为中文原文。